41. A logical language for data and knowledge bases

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، LDL )Computer program language(,، Database management,، Artificial intelligence

رده :
QA
76
.
73
.
L15
N36
1989

42. A many-sorted calculus based on resolution and paramodulation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Automatic theorem proving.

43. A many-valued approach to deduction and reasoning for artificial intelligence /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Cognition.,Computational linguistics.

44. A methodological approach to sustainable resources utilization in Indonesia:

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Applied sciences,artificial intelligence,Earth sciences,Geography,GIS,Social sciences

45. A multilingual dictionary of artificial intelligence english, german, french, apanish, italian

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : ، Artificial intelligence- Dictionaries-- Polyglot,، Dictionaries, polyglot

رده :
Q
334
.
2
.
V6M8

46. A networked self and human augmentics, artificial intelligence, sentience /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence-- Psychological aspects.,Assistive computer technology.,Human-machine systems.,Self.,Assistive computer technology.,Human-machine systems.,Self.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.

رده :
TA167
.
N35
2018eb

47. A paraconsistent decision-making method /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.

رده :
Q342

48. A perspective of constraint-based reasoning :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.

رده :
QA75
.
E358
1992

49. A perspective of constraint-based reasoning : an introductory tutorial

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Constraints )Artificial intelligence(,، Reasoning

رده :
QA
76
.
L28
Vol
.
597

50. A primmer of artificial intelligence : with sample programs in turbo pascal

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Turbo Pascal (Computer program language),Artificial intelligence- Computer program

رده :
QA76
.
73
.
P2C4
1988

51. A quadratic constraint approach to model predictive control of interconnected systems /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Large scale systems.,Predictive control.,Artificial intelligence.,Automatic control engineering.,Communications engineering-- telecommunications.,Large scale systems.,Predictive control.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.

رده :
TJ217
.
6

52. A theory of heuristic information in game-tree search

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical

رده :
Q
335
.
T99
1988

53. A theory of heuristic information in game-tree search

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL

رده :
Q
335
.
T99

54. ACS/IEEE International conference on computer systems and applications, Proceedings

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computer programming - Congresses,Artificial intelligence - Congresses,Machine Learning - Congresses

رده :
Q325
.
5
.
A355
2001

55. ADVANCES IN INTELLIGENT SYSTEMS THEORY AND APLICATIONS

پدیدآورنده :

موضوع : artificial intelligence congresses,fuzzy systems congresses,intelligent contrcl systems-congresses,expert systems.(computer science) congresses

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

56. AI

پدیدآورنده :

کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)

موضوع : Artificial intelligence - History

رده :
Q
,
335
,.
C6
,
1999

57. AI 2006

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Artificial intelligence ; Congresses. ;

58. AI 2008

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Artificial intelligence ; Congresses. ;

59. AI 2011 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses

رده :
Q334
.
A97
2011

60. AI 2007

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Artificial intelligence ; Congresses. ; K?nstliche Intelligenz. ; swd. ;